261. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده : Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
262. Responsive Computer Systems
پدیدآورنده : edited by Hermann Kopetz, Yoshiaki Kakuda.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
S88
E358
1993
263. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
264. Rigorous software engineering for service-oriented systems :
پدیدآورنده : Martin Wirsing, Matthias Hölzl (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SENSORIA Project,Service-oriented architecture (Computer science),Web services
رده :
TK5105
.
5828
.
R54
2011
265. Runtime Verification
پدیدآورنده : edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
266. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
267. SOFSEM '95:
پدیدآورنده : edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Software engineering.
269. Semantics:
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
270. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
271. Software Engineering 3
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
272. Software Engineering -- ESEC '95 :
پدیدآورنده : edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
273. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented programming (Computer science),Software engineering.
274. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
275. Software Service and Application Engineering
پدیدآورنده : edited by Maritta Heisel
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
276. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
277. Software engineering education :
پدیدآورنده : Jorge L. Diaz-Herrera (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
278. Specification of Software Systems
پدیدآورنده : by V.S. Alagar, K. Periyasamy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
279. Starting Out with Programming Logic and Design
پدیدآورنده : / Tony Gaddis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
280. State-Space Search :
پدیدآورنده : by Weixiong Zhang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA402
.
B994
1999
